statically and dynamically typed language